[next] [prev] [prev-tail] [tail] [up]

Integrals 501 to 600

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 501

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-1) F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

805 805 518 385 955 0 0 1333 127276

N.S.

1 1.00 0.64 0.48 1.19 0.00 0.00 1.66 158.11

time (sec)

N/A 1.001 1.607 2.812 0.328 0.000 0.000 0.630 28.282

Problem 502

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-1) F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

805 805 521 385 1064 0 0 1278 180372

N.S.

1 1.00 0.65 0.48 1.32 0.00 0.00 1.59 224.06

time (sec)

N/A 0.931 1.571 2.804 0.318 0.000 0.000 0.563 23.048

Problem 503

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-1) F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

881 881 598 405 1066 0 0 1289 143600

N.S.

1 1.00 0.68 0.46 1.21 0.00 0.00 1.46 163.00

time (sec)

N/A 1.140 1.593 2.832 0.347 0.000 0.000 0.607 28.462

Problem 504

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

103 103 75 67 132 99 212 104 96

N.S.

1 1.00 0.73 0.65 1.28 0.96 2.06 1.01 0.93

time (sec)

N/A 0.063 0.054 2.781 0.201 0.284 0.305 0.302 5.829

Problem 505

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

155 155 132 109 166 257 175 132 0

N.S.

1 1.00 0.85 0.70 1.07 1.66 1.13 0.85 0.00

time (sec)

N/A 0.058 0.488 2.820 0.200 0.317 0.408 0.305 0.000

Problem 506

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

73 73 56 49 90 75 162 73 76

N.S.

1 1.00 0.77 0.67 1.23 1.03 2.22 1.00 1.04

time (sec)

N/A 0.045 0.039 2.774 0.198 0.301 0.238 0.297 5.918

Problem 507

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

122 122 108 88 124 206 139 100 0

N.S.

1 1.00 0.89 0.72 1.02 1.69 1.14 0.82 0.00

time (sec)

N/A 0.049 0.338 2.938 0.202 0.301 0.347 0.300 0.000

Problem 508

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

46 46 34 31 50 50 110 44 53

N.S.

1 1.00 0.74 0.67 1.09 1.09 2.39 0.96 1.15

time (sec)

N/A 0.025 0.026 2.803 0.206 0.279 0.173 0.302 4.960

Problem 509

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

87 87 74 63 81 155 104 69 0

N.S.

1 1.00 0.85 0.72 0.93 1.78 1.20 0.79 0.00

time (sec)

N/A 0.019 0.090 2.805 0.228 0.303 0.300 0.314 0.000

Problem 510

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

59 59 59 52 45 123 87 60 47

N.S.

1 1.00 1.00 0.88 0.76 2.08 1.47 1.02 0.80

time (sec)

N/A 0.037 0.057 2.803 0.215 0.259 4.521 0.295 5.177

Problem 511

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

84 84 71 54 59 134 129 79 94

N.S.

1 1.00 0.85 0.64 0.70 1.60 1.54 0.94 1.12

time (sec)

N/A 0.022 0.141 2.832 0.208 0.262 1.210 0.316 5.401

Problem 512

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

84 84 65 57 83 141 107 68 68

N.S.

1 1.00 0.77 0.68 0.99 1.68 1.27 0.81 0.81

time (sec)

N/A 0.043 0.090 2.914 0.199 0.262 11.615 0.304 5.649

Problem 513

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

66 66 70 57 48 137 107 151 76

N.S.

1 1.00 1.06 0.86 0.73 2.08 1.62 2.29 1.15

time (sec)

N/A 0.017 0.098 2.902 0.214 0.259 1.406 0.312 5.840

Problem 514

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

88 88 78 72 130 170 144 120 93

N.S.

1 1.00 0.89 0.82 1.48 1.93 1.64 1.36 1.06

time (sec)

N/A 0.047 0.123 2.879 0.209 0.269 33.409 0.294 6.474

Problem 515

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

53 53 40 36 56 55 119 232 97

N.S.

1 1.00 0.75 0.68 1.06 1.04 2.25 4.38 1.83

time (sec)

N/A 0.015 0.096 2.742 0.196 0.264 1.141 0.298 5.414

Problem 516

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

120 120 102 92 174 221 226 140 134

N.S.

1 1.00 0.85 0.77 1.45 1.84 1.88 1.17 1.12

time (sec)

N/A 0.067 0.164 2.924 0.216 0.277 43.781 0.294 6.663

Problem 517

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

84 84 62 55 96 81 442 288 132

N.S.

1 1.00 0.74 0.65 1.14 0.96 5.26 3.43 1.57

time (sec)

N/A 0.027 0.119 2.796 0.206 0.267 1.447 0.319 5.665

Problem 518

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

156 156 126 114 216 269 286 194 173

N.S.

1 1.00 0.81 0.73 1.38 1.72 1.83 1.24 1.11

time (sec)

N/A 0.090 0.211 2.825 0.217 0.288 84.614 0.286 6.896

Problem 519

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

117 117 81 73 138 105 957 344 174

N.S.

1 1.00 0.69 0.62 1.18 0.90 8.18 2.94 1.49

time (sec)

N/A 0.038 0.143 2.872 0.198 0.285 1.920 0.304 5.793

Problem 520

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

189 189 146 132 258 317 0 230 209

N.S.

1 1.00 0.77 0.70 1.37 1.68 0.00 1.22 1.11

time (sec)

N/A 0.110 0.253 2.849 0.259 0.307 0.000 0.301 7.555

Problem 521

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

103 103 80 68 132 124 260 104 117

N.S.

1 1.00 0.78 0.66 1.28 1.20 2.52 1.01 1.14

time (sec)

N/A 0.058 0.059 2.775 0.216 0.259 0.444 0.286 5.232

Problem 522

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

188 188 150 127 204 299 298 159 0

N.S.

1 1.00 0.80 0.68 1.09 1.59 1.59 0.85 0.00

time (sec)

N/A 0.068 0.612 2.865 0.203 0.299 0.474 0.292 0.000

Problem 523

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

73 73 56 49 90 99 209 73 96

N.S.

1 1.00 0.77 0.67 1.23 1.36 2.86 1.00 1.32

time (sec)

N/A 0.044 0.043 2.778 0.209 0.262 0.354 0.303 5.232

Problem 524

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

155 155 130 108 162 260 236 133 0

N.S.

1 1.00 0.84 0.70 1.05 1.68 1.52 0.86 0.00

time (sec)

N/A 0.049 0.475 2.966 0.226 0.283 0.424 0.300 0.000

Problem 525

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

46 46 34 31 50 73 158 44 76

N.S.

1 1.00 0.74 0.67 1.09 1.59 3.43 0.96 1.65

time (sec)

N/A 0.027 0.029 2.774 0.205 0.256 0.284 0.304 5.148

Problem 526

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

118 118 99 88 116 207 175 102 0

N.S.

1 1.00 0.84 0.75 0.98 1.75 1.48 0.86 0.00

time (sec)

N/A 0.027 0.138 2.850 0.200 0.267 0.357 0.325 0.000

Problem 527

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 76 83 71 58 170 109 79 60

N.S.

1 1.00 1.09 0.93 0.76 2.24 1.43 1.04 0.79

time (sec)

N/A 0.036 0.078 2.795 0.207 0.271 10.116 0.302 5.504

Problem 528

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

109 109 92 72 91 182 298 109 80

N.S.

1 1.00 0.84 0.66 0.83 1.67 2.73 1.00 0.73

time (sec)

N/A 0.030 0.261 2.834 0.204 0.260 1.662 0.317 6.055

Problem 529

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

110 110 81 79 109 167 201 103 94

N.S.

1 1.00 0.74 0.72 0.99 1.52 1.83 0.94 0.85

time (sec)

N/A 0.055 0.102 2.833 0.210 0.293 14.584 0.317 5.976

Problem 530

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

119 119 89 72 115 166 245 207 0

N.S.

1 1.00 0.75 0.61 0.97 1.39 2.06 1.74 0.00

time (sec)

N/A 0.033 0.184 2.837 0.195 0.287 2.271 0.331 0.000

Problem 531

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

115 115 81 78 161 189 216 131 104

N.S.

1 1.00 0.70 0.68 1.40 1.64 1.88 1.14 0.90

time (sec)

N/A 0.062 0.154 2.817 0.212 0.269 39.617 0.311 6.555

Problem 532

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

86 86 92 81 88 184 184 236 0

N.S.

1 1.00 1.07 0.94 1.02 2.14 2.14 2.74 0.00

time (sec)

N/A 0.026 0.163 2.836 0.196 0.265 2.174 0.316 0.000

Problem 533

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

120 120 102 92 210 222 253 159 130

N.S.

1 1.00 0.85 0.77 1.75 1.85 2.11 1.32 1.08

time (sec)

N/A 0.070 0.168 2.839 0.220 0.262 60.403 0.302 7.930

Problem 534

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

53 53 40 36 56 78 518 344 128

N.S.

1 1.00 0.75 0.68 1.06 1.47 9.77 6.49 2.42

time (sec)

N/A 0.016 0.151 2.779 0.216 0.251 2.342 0.322 6.364

Problem 535

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

156 156 126 112 252 271 287 194 169

N.S.

1 1.00 0.81 0.72 1.62 1.74 1.84 1.24 1.08

time (sec)

N/A 0.092 0.229 2.820 0.219 0.279 115.174 0.306 7.680

Problem 536

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

84 84 62 55 96 105 1408 400 170

N.S.

1 1.00 0.74 0.65 1.14 1.25 16.76 4.76 2.02

time (sec)

N/A 0.026 0.181 2.851 0.228 0.284 3.170 0.322 6.472

Problem 537

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

184 184 142 131 294 317 0 212 205

N.S.

1 1.00 0.77 0.71 1.60 1.72 0.00 1.15 1.11

time (sec)

N/A 0.103 0.235 2.854 0.200 0.317 0.000 0.314 8.488

Problem 538

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

103 103 80 68 132 147 313 104 136

N.S.

1 1.00 0.78 0.66 1.28 1.43 3.04 1.01 1.32

time (sec)

N/A 0.056 0.061 2.822 0.205 0.267 0.685 0.296 5.230

Problem 539

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

221 221 172 147 242 355 456 195 0

N.S.

1 1.00 0.78 0.67 1.10 1.61 2.06 0.88 0.00

time (sec)

N/A 0.074 0.792 2.938 0.208 0.351 0.629 0.304 0.000

Problem 540

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

73 73 56 49 90 122 260 73 115

N.S.

1 1.00 0.77 0.67 1.23 1.67 3.56 1.00 1.58

time (sec)

N/A 0.039 0.046 2.773 0.209 0.255 0.548 0.316 5.155

Problem 541

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

188 188 151 127 200 308 367 165 0

N.S.

1 1.00 0.80 0.68 1.06 1.64 1.95 0.88 0.00

time (sec)

N/A 0.061 0.625 2.914 0.201 0.301 0.564 0.325 0.000

Problem 542

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

46 46 34 31 50 97 209 44 44

N.S.

1 1.00 0.74 0.67 1.09 2.11 4.54 0.96 0.96

time (sec)

N/A 0.026 0.051 2.803 0.203 0.264 0.429 0.290 5.114

Problem 543

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

149 149 123 106 151 257 279 134 0

N.S.

1 1.00 0.83 0.71 1.01 1.72 1.87 0.90 0.00

time (sec)

N/A 0.038 0.186 2.942 0.197 0.279 0.435 0.321 0.000

Problem 544

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

95 95 103 85 73 220 128 97 78

N.S.

1 1.00 1.08 0.89 0.77 2.32 1.35 1.02 0.82

time (sec)

N/A 0.050 0.089 2.807 0.209 0.274 13.912 0.312 5.397

Problem 545

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

136 136 110 98 124 236 525 141 80

N.S.

1 1.00 0.81 0.72 0.91 1.74 3.86 1.04 0.59

time (sec)

N/A 0.046 0.205 2.974 0.203 0.266 2.058 0.312 6.268

Problem 546

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

135 135 105 102 138 221 330 139 132

N.S.

1 1.00 0.78 0.76 1.02 1.64 2.44 1.03 0.98

time (sec)

N/A 0.071 0.148 2.865 0.221 0.302 15.860 0.308 6.139

Problem 547

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

146 146 117 97 151 220 428 238 0

N.S.

1 1.00 0.80 0.66 1.03 1.51 2.93 1.63 0.00

time (sec)

N/A 0.044 0.301 2.853 0.205 0.290 2.714 0.327 0.000

Problem 548

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

143 143 106 98 190 221 296 171 144

N.S.

1 1.00 0.74 0.69 1.33 1.55 2.07 1.20 1.01

time (sec)

N/A 0.083 0.179 2.876 0.199 0.283 43.705 0.298 6.875

Problem 549

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

152 152 113 96 198 220 337 321 0

N.S.

1 1.00 0.74 0.63 1.30 1.45 2.22 2.11 0.00

time (sec)

N/A 0.046 0.249 2.882 0.215 0.305 3.155 0.323 0.000

Problem 550

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

149 149 107 100 243 241 306 167 150

N.S.

1 1.00 0.72 0.67 1.63 1.62 2.05 1.12 1.01

time (sec)

N/A 0.084 0.196 2.852 0.207 0.283 68.516 0.311 7.381

Problem 551

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

108 108 112 103 128 234 592 320 0

N.S.

1 1.00 1.04 0.95 1.19 2.17 5.48 2.96 0.00

time (sec)

N/A 0.048 0.220 2.944 0.208 0.296 3.411 0.320 0.000

Problem 552

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

152 152 123 113 288 272 316 195 169

N.S.

1 1.00 0.81 0.74 1.89 1.79 2.08 1.28 1.11

time (sec)

N/A 0.096 0.213 2.913 0.202 0.308 135.743 0.323 8.390

Problem 553

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

53 53 40 36 56 102 1489 456 170

N.S.

1 1.00 0.75 0.68 1.06 1.92 28.09 8.60 3.21

time (sec)

N/A 0.016 0.212 2.910 0.198 0.296 4.099 0.315 7.062

Problem 554

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

189 189 143 132 330 319 0 230 205

N.S.

1 1.00 0.76 0.70 1.75 1.69 0.00 1.22 1.08

time (sec)

N/A 0.102 0.278 2.968 0.216 0.346 0.000 0.319 9.698

Problem 555

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

100 100 80 68 132 76 172 101 80

N.S.

1 1.00 0.80 0.68 1.32 0.76 1.72 1.01 0.80

time (sec)

N/A 0.054 0.052 2.787 0.187 0.268 0.290 0.303 5.280

Problem 556

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

122 122 108 88 128 211 136 107 0

N.S.

1 1.00 0.89 0.72 1.05 1.73 1.11 0.88 0.00

time (sec)

N/A 0.044 0.350 2.964 0.209 0.273 0.343 0.307 0.000

Problem 557

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

71 71 56 49 90 52 121 69 57

N.S.

1 1.00 0.79 0.69 1.27 0.73 1.70 0.97 0.80

time (sec)

N/A 0.050 0.039 2.779 0.209 0.270 0.235 0.293 5.180

Problem 558

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

89 89 84 64 86 162 109 75 0

N.S.

1 1.00 0.94 0.72 0.97 1.82 1.22 0.84 0.00

time (sec)

N/A 0.027 0.230 2.831 0.206 0.273 0.326 0.318 0.000

Problem 559

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 43 33 30 49 29 70 38 34

N.S.

1 1.00 0.77 0.70 1.14 0.67 1.63 0.88 0.79

time (sec)

N/A 0.025 0.025 2.797 0.191 0.262 0.192 0.272 5.206

Problem 560

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

58 58 65 48 47 110 82 48 86

N.S.

1 1.00 1.12 0.83 0.81 1.90 1.41 0.83 1.48

time (sec)

N/A 0.012 0.116 2.819 0.200 0.273 0.263 0.302 5.412

Problem 561

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 43 43 41 33 102 71 38 35

N.S.

1 1.00 1.00 0.95 0.77 2.37 1.65 0.88 0.81

time (sec)

N/A 0.024 0.039 2.835 0.210 0.263 1.671 0.466 5.519

Problem 562

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 47 50 41 33 109 70 58 40

N.S.

1 1.00 1.06 0.87 0.70 2.32 1.49 1.23 0.85

time (sec)

N/A 0.012 0.061 2.787 0.215 0.259 0.625 0.391 5.277

Problem 563

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

58 58 58 47 56 124 66 62 60

N.S.

1 1.00 1.00 0.81 0.97 2.14 1.14 1.07 1.03

time (sec)

N/A 0.032 0.058 2.834 0.196 0.263 5.773 0.382 5.828

Problem 564

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

53 53 40 36 56 34 70 120 35

N.S.

1 1.00 0.75 0.68 1.06 0.64 1.32 2.26 0.66

time (sec)

N/A 0.018 0.069 2.873 0.188 0.253 0.885 0.322 5.198

Problem 565

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

90 90 78 73 96 171 150 121 99

N.S.

1 1.00 0.87 0.81 1.07 1.90 1.67 1.34 1.10

time (sec)

N/A 0.049 0.129 2.826 0.212 0.276 14.922 0.324 5.893

Problem 566

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

84 84 62 55 96 58 355 176 58

N.S.

1 1.00 0.74 0.65 1.14 0.69 4.23 2.10 0.69

time (sec)

N/A 0.027 0.091 2.835 0.265 0.258 1.213 0.338 5.142

Problem 567

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

123 123 102 92 138 223 235 158 140

N.S.

1 1.00 0.83 0.75 1.12 1.81 1.91 1.28 1.14

time (sec)

N/A 0.091 0.201 2.940 0.207 0.275 21.158 0.303 6.055

Problem 568

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

117 117 86 74 138 82 819 232 105

N.S.

1 1.00 0.74 0.63 1.18 0.70 7.00 1.98 0.90

time (sec)

N/A 0.041 0.112 2.826 0.189 0.261 1.699 0.317 5.198

Problem 569

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

152 152 132 115 170 325 233 136 0

N.S.

1 1.00 0.87 0.76 1.12 2.14 1.53 0.89 0.00

time (sec)

N/A 0.048 0.448 2.913 0.193 0.297 18.977 0.327 0.000

Problem 570

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

99 99 77 68 132 88 172 113 89

N.S.

1 1.00 0.78 0.69 1.33 0.89 1.74 1.14 0.90

time (sec)

N/A 0.056 0.054 2.796 0.187 0.257 0.323 0.318 5.244

Problem 571

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

119 119 107 94 126 274 177 104 0

N.S.

1 1.00 0.90 0.79 1.06 2.30 1.49 0.87 0.00

time (sec)

N/A 0.040 0.307 2.895 0.191 0.292 6.844 0.319 0.000

Problem 572

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

67 67 55 49 89 63 117 77 59

N.S.

1 1.00 0.82 0.73 1.33 0.94 1.75 1.15 0.88

time (sec)

N/A 0.038 0.041 2.833 0.192 0.259 0.263 0.308 5.211

Problem 573

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

83 83 80 73 82 213 114 70 0

N.S.

1 1.00 0.96 0.88 0.99 2.57 1.37 0.84 0.00

time (sec)

N/A 0.048 0.186 2.958 0.188 0.261 3.677 0.323 0.000

Problem 574

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

41 41 30 30 49 40 66 36 30

N.S.

1 1.00 0.73 0.73 1.20 0.98 1.61 0.88 0.73

time (sec)

N/A 0.029 0.030 2.822 0.193 0.267 0.184 0.311 5.150

Problem 575

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

54 54 58 55 46 168 60 51 53

N.S.

1 1.00 1.07 1.02 0.85 3.11 1.11 0.94 0.98

time (sec)

N/A 0.012 0.080 2.843 0.195 0.284 2.192 0.324 5.559

Problem 576

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

53 53 53 57 48 167 70 52 50

N.S.

1 1.00 1.00 1.08 0.91 3.15 1.32 0.98 0.94

time (sec)

N/A 0.028 0.066 2.789 0.216 0.307 3.858 0.304 5.611

Problem 577

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 47 36 36 51 43 68 57 46

N.S.

1 1.00 0.77 0.77 1.09 0.91 1.45 1.21 0.98

time (sec)

N/A 0.018 0.063 2.844 0.204 0.295 2.489 0.299 5.276

Problem 578

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

86 86 77 79 86 232 262 99 90

N.S.

1 1.00 0.90 0.92 1.00 2.70 3.05 1.15 1.05

time (sec)

N/A 0.047 0.119 2.982 0.186 0.287 14.777 0.310 6.163

Problem 579

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

82 82 62 55 92 68 284 181 57

N.S.

1 1.00 0.76 0.67 1.12 0.83 3.46 2.21 0.70

time (sec)

N/A 0.024 0.094 2.856 0.203 0.259 3.365 0.315 5.319

Problem 580

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

118 118 100 94 130 287 180 137 134

N.S.

1 1.00 0.85 0.80 1.10 2.43 1.53 1.16 1.14

time (sec)

N/A 0.066 0.166 2.889 0.209 0.293 30.211 0.297 6.081

Problem 581

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

115 115 86 76 134 94 593 294 82

N.S.

1 1.00 0.75 0.66 1.17 0.82 5.16 2.56 0.71

time (sec)

N/A 0.034 0.122 2.876 0.199 0.260 4.430 0.307 5.334

Problem 582

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

153 153 126 120 174 341 236 180 178

N.S.

1 1.00 0.82 0.78 1.14 2.23 1.54 1.18 1.16

time (sec)

N/A 0.092 0.212 2.885 0.193 0.283 54.824 0.284 6.574

Problem 583

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

148 148 105 93 176 117 1030 407 148

N.S.

1 1.00 0.71 0.63 1.19 0.79 6.96 2.75 1.00

time (sec)

N/A 0.046 0.151 2.906 0.191 0.273 5.992 0.302 5.423

Problem 584

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

128 128 98 87 174 123 437 141 122

N.S.

1 1.00 0.77 0.68 1.36 0.96 3.41 1.10 0.95

time (sec)

N/A 0.084 0.066 2.856 0.188 0.259 0.501 0.299 5.597

Problem 585

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

149 149 127 114 210 392 804 148 0

N.S.

1 1.00 0.85 0.77 1.41 2.63 5.40 0.99 0.00

time (sec)

N/A 0.056 0.369 2.955 0.198 0.296 15.311 0.338 0.000

Problem 586

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 97 73 69 131 98 337 104 89

N.S.

1 1.00 0.75 0.71 1.35 1.01 3.47 1.07 0.92

time (sec)

N/A 0.052 0.055 2.848 0.202 0.271 0.400 0.303 5.377

Problem 587

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

114 114 102 91 160 333 675 112 0

N.S.

1 1.00 0.89 0.80 1.40 2.92 5.92 0.98 0.00

time (sec)

N/A 0.069 0.262 2.942 0.203 0.266 8.407 0.291 0.000

Problem 588

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 68 56 49 89 75 240 62 59

N.S.

1 1.00 0.82 0.72 1.31 1.10 3.53 0.91 0.87

time (sec)

N/A 0.049 0.042 2.842 0.197 0.261 0.336 0.288 5.276

Problem 589

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

77 77 75 75 103 245 352 69 0

N.S.

1 1.00 0.97 0.97 1.34 3.18 4.57 0.90 0.00

time (sec)

N/A 0.035 0.119 2.876 0.206 0.267 5.431 0.296 0.000

Problem 590

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

44 44 34 30 50 52 143 32 32

N.S.

1 1.00 0.77 0.68 1.14 1.18 3.25 0.73 0.73

time (sec)

N/A 0.026 0.031 2.909 0.198 0.264 0.342 0.287 5.540

Problem 591

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 47 37 34 68 54 144 40 33

N.S.

1 1.00 0.79 0.72 1.45 1.15 3.06 0.85 0.70

time (sec)

N/A 0.008 0.072 2.834 0.193 0.258 3.978 0.311 5.298

Problem 592

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 72 69 70 63 241 90 66 65

N.S.

1 1.00 0.96 0.97 0.88 3.35 1.25 0.92 0.90

time (sec)

N/A 0.036 0.082 2.823 0.201 0.258 8.454 0.304 5.578

Problem 593

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

77 77 62 55 85 77 265 101 68

N.S.

1 1.00 0.81 0.71 1.10 1.00 3.44 1.31 0.88

time (sec)

N/A 0.028 0.099 2.871 0.199 0.256 6.680 0.301 5.060

Problem 594

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

113 113 99 96 117 349 1608 101 126

N.S.

1 1.00 0.88 0.85 1.04 3.09 14.23 0.89 1.12

time (sec)

N/A 0.060 0.118 2.925 0.194 0.295 21.732 0.294 5.874

Problem 595

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

108 108 79 74 128 101 524 224 123

N.S.

1 1.00 0.73 0.69 1.19 0.94 4.85 2.07 1.14

time (sec)

N/A 0.037 0.117 2.923 0.201 0.266 10.061 0.319 5.243

Problem 596

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

146 146 119 118 164 407 1323 165 176

N.S.

1 1.00 0.82 0.81 1.12 2.79 9.06 1.13 1.21

time (sec)

N/A 0.092 0.177 2.962 0.207 0.275 44.244 0.296 6.325

Problem 597

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

146 146 105 95 172 129 944 336 231

N.S.

1 1.00 0.72 0.65 1.18 0.88 6.47 2.30 1.58

time (sec)

N/A 0.041 0.161 2.901 0.203 0.290 15.019 0.317 5.475

Problem 598

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

157 157 132 120 249 179 389 204 171

N.S.

1 1.00 0.84 0.76 1.59 1.14 2.48 1.30 1.09

time (sec)

N/A 0.098 0.079 2.906 0.202 0.266 0.384 0.273 5.270

Problem 599

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

114 114 99 87 181 140 308 150 137

N.S.

1 1.00 0.87 0.76 1.59 1.23 2.70 1.32 1.20

time (sec)

N/A 0.069 0.059 2.881 0.209 0.255 0.306 0.286 5.144

Problem 600

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

77 77 67 60 115 103 226 98 101

N.S.

1 1.00 0.87 0.78 1.49 1.34 2.94 1.27 1.31

time (sec)

N/A 0.041 0.042 2.866 0.193 0.257 0.249 0.279 5.154

[next] [prev] [prev-tail] [front] [up]